Foundational economy and foundational politics

Foundational Belief Change* Foundational Belief Change

anonymous referee for the Journal of Philosophical Logic for their insightful comments on earlier versions of this paper. I also thank Prasanta Bandy-opadhyay, Jim Cain, Francis Jeery Pelletier and Ted Sider for their sugges tions and encouragement, and acknowledge the help of my friend Ramkrish-nan Nambimadom in the construction of a crucial proof. Abstract: This paper is concerned with the co...

Foundational Issues

Ray Jackendoff is well qualified to talk about the trend towards increasing specialization and fragmentation of the science of language. For over 30 years he has been a prolific contributor to a number of different topics in syntax and semantics, and has also made notable contributions to other areas of cognitive science, including music, consciousness, spatial cognition, and psycholinguistics....

Foundational Justification

My theory is a version of foundationalism. Foundationalism says that there are certain beliefs, the so-called "foundational beliefs," which we are justified in holding and which do not depend on any other beliefs for their justification. Perceptual beliefs, in my view, are foundational. Notice that the definition of foundational beliefs does not say that they do not depend on anything else for ...

Foundational Aspects of

Foundational Proof Certificates

Consider a world where exporting proof evidence into a well defined, universal, and permanent format is taken as “feature zero” for computational logic systems. In such a world, provers will communicate and share theorems and proofs; libraries will archive and organize proofs; and marketplaces of proofs would be open to any prover that admits checkable proof objects. In that world, proof checke...